\subsection{TAD \tadNombre{itListaOrd}}

\begin{tad}{\tadNombre{itListaOrd}}
\tadGeneros{itListaOrd}
\tadIgualdadObservacional{it_1}{it_2}{itListaOrd}{$Siguientes(it_1) \igobs Siguientes(it_2)$}
\tadAlinearFunciones{Avanzarasdasda}{aasddasdasdasdasitListaOrd($\alpha$) /it }
%\tadAlinearFunciones{\argumento $\implies$ \argumento}{bool,bool}
\tadGeneradores

\tadOperacion{crearItListaOrd}{listaOrd}{itListaOrd}{}

\tadObservadores

\tadOperacion{Siguientes}{itListaOrd}{secu(puntero(mensaje))}{}

\tadOtrasOperaciones

\tadOperacion{hayMas?}{itListaOrd}{bool}{}
\tadOperacion{Actual}{itListaOrd /it}{puntero(mensaje)}{hayMas?(it)}
\tadOperacion{Avanzar}{itListaOrd /it}{itListaOrd}{hayMas?(it)}
\tadOperacion{dameListaOrd}{secu(puntero(mensaje))}{listaOrd}{}


\tadAxiomas[]

\tadAxioma{Siguientes(crearItListaOrd(i))}{elems(i)}
\tadAxioma{hayMas?(it)}{$\neg$ vacia?(Siguientes(it))}
\tadAxioma{Actual(it)}{prim(Siguientes(it))}
\tadAxioma{Avanzar(it)}{crearItListaOrd(dameListaOrd((fin(Siguientes(it))))}
\tadAxioma{dameListaOrd(s)}{\IF vacia?(s) THEN vacia ELSE insertar(prim(s),dameListaOrd(fin(s))) FI}


\end{tad}